inequality reasoning

join shbcf.ru